// Dummy file. Actual implementation is in frontend/linux/workbench/main_form.h/cpp